Bij($A$;$B$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Inj($A$;$B$;$f$) \& Surj($A$;$B$;$f$)